Single-level Partitioning Support in Boom-ii

We propose a modification of our Boolean minimizer BOOM-II enabling a single-level partitioning. The disadvantage of all the present logic synthesis systems is that the minimization and decomposition phases are strictly separated; the minimization process is independent on the subsequent decomposition. We propose a method where the two-level minimization is driven by some decomposition or other constraints. Here a two-level nature of a solution is retained, however, the circuit is divided into several stand-alone blocks, each block having several outputs. Our aim is to minimize the number of inputs for each block, as well as the blocks’ logic. Copyright © 2004 DESDes'04